same{-}thread(${\it es}$; $p$; $e$; ${\it e'}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$final{-}iterate($p$; $e$) = final{-}iterate($p$; ${\it e'}$)